Nuprl Definition : rng_minus 13,42
-r == (r.2.2.2.2.2).1 
latex

Uprng sig object directory
Wellformedness Lemmasrng minus wf
Definitionst.1, t.2

origin